WITH Ada.Text_IO;
WITH Unit_Test_Assertions;
WITH Ada.Strings.Unbounded;
WITH Petrinets;
WITH Xml_Readers;
WITH Xml_Iterators;

PACKAGE Test_Parser IS

   PACKAGE Dyn_Str   RENAMES Ada.Strings.Unbounded;

   -- Initialisation de la suite de test
   PROCEDURE Set_Up;

   -- Demarrage de la suite de tests
   PROCEDURE Run ;

   -- Terminaison de la suite de test
   PROCEDURE Tear_Down (nbTest : OUT Integer; nbError : OUT Integer; name : OUT Dyn_Str.Unbounded_String) ;


   -- Permet de verifier qu'une erreur a bien ete levee
   PROCEDURE Test_Error (fileName : IN String; testMessage : IN String) ;


   -- Test de fichier non trouve
   PROCEDURE Test_FileNotFound ;

   -- Test de balisage incomplet
   PROCEDURE Test_TagMissing ;

   -- Test de contenu sans balise
   PROCEDURE Test_ContentWithoutTag;

   -- Test de balise non ouverte
   PROCEDURE Test_UnopenedTag;

   -- Test d'erreur sur le marquage initial
   PROCEDURE Test_InitMark;


PRIVATE
   PACKAGE Rdp IS NEW Petrinets (100, 100);
   PACKAGE Integerio IS NEW Ada.Text_IO.Integer_Io (Integer);

   testRDP		: Rdp.Petrinet;
   resultBool 		: Boolean;

END Test_Parser;
